Buy Used and New David Basin Books

Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings: 3097 (Lecture Notes in Computer Science)

by Michael Rusinowitch,David Basin

ISBN 13: 9783540223450

Format: Paperback (512 pages)
Publisher: Springer
Published: 22 Jun 2004

Save for later

Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings: 2758 (Lecture Notes in Computer Science)

by Burkhart Wolff, David Basin

ISBN 13: 9783540406648

Format: Paperback (380 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

Principles of Security and Trust: Second International Conference, POST 2013, Held as Part of the European Joint Conferences on Theory and Practice of ... 7796 (Lecture Notes in Computer Science)

by David Basin,John C. Mitchell

ISBN 13: 9783642368295

Format: Paperback (308 pages)
Publisher: Springer
Published: 20 Feb 2013

Save for later

Labelled Deduction (Applied Logic Series): 17

by David Basin

ISBN 13: 9789401057813

Format: Paperback (284 pages)
Publisher: Springer
Published: 30 Apr 2014

Save for later